Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
581	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
582	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
583	The logic of quasi true Antonio Di Nola1 , Revaz Grigolia2 and Giacomo Lenzi1 1 2 Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 15:13:07 Algebra Mathematical logic Mathematics Algebraic logic Fuzzy logic MV-algebra Many-valued logic Constructible universe Lie algebras Boolean algebra Ordinal number CurryHoward correspondence
584	- - -00-18 ËÁÁÅ Technical Report Discrete Prediction Games with Arbitrary Feedback and Loss Add to Reading List Source URL: archive.cone.informatik.uni-freiburg.de Language: English - Date: 2006-04-01 17:58:02 Algorithm Mathematical logic Theoretical computer science Reinforcement learning RSA Online machine learning
585	Microsoft Word - Create_Performance_Task_Fall2015_v2b.docx Add to Reading List Source URL: d1b10bmlvqabco.cloudfront.net Language: English - Date: 2015-12-10 18:51:16 Mathematical logic Algorithm Theoretical computer science Abstraction Programming language AP Computer Science Principles Computing Cognitive science Cognition Philosophy
586	Harmonious Logic: Craig’s Interpolation Theorem and its Descendants ……… Solomon Feferman Stanford University Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-05-15 01:54:06 Lemmas Craig interpolation Mathematical logic Symbol Model theory Phi Abstraction
587	COMP 520 FallType checking (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-15 11:10:49 Type theory Symbol Type system Mathematical logic Logic in computer science Theoretical computer science Automated theorem proving Logic programming
588	Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Theoretical computer science Logic in computer science Formal methods Constraint programming Electronic design automation Satisfiability modulo theories Separation logic Mathematical logic Logic programming Logic
589	A Computational Space for the Web of Things Simon Mayer David S. Karam Inst. for Pervasive Computing Add to Reading List Source URL: www.vs.inf.ethz.ch Language: English - Date: 2012-06-04 05:34:23 Engineering Theoretical computer science Academia Algorithm Mathematical logic Computing Computational science Google Apps Marketplace Computer science
590	A Specification Logic for Termination and Non-Termination Reasoning TON-CHANH LE JO IN T WORK WITH C. GHERGHINA , A . HOBOR A N D W -N . CHIN 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-01-22 13:03:06 Mathematical logic Term Logic programming

UPDATE